Infinite games andσ-porosity
نویسندگان
چکیده
We show a new game characterizing various types of σ-porosity for Souslin sets in terms of winning strategies. We use the game to prove and reprove some new and older inscribing theorems for σ-ideals of σ-porous type in locally compact metric spaces.
منابع مشابه
On Σ-porous Sets in Abstract Spaces
The main aim of this survey paper is to give basic information about properties and applications of σ-porous sets in Banach spaces (and some other infinite-dimensional spaces). This paper can be considered a partial continuation of the author’s 1987 survey on porosity and σ-porosity and therefore only some results, remarks, and references (important for infinite-dimensional spaces) are repeated...
متن کاملThe Cardinality of Infinite Games
The focus of this essay is a rigorous treatment of infinite games. An infinite game is defined as a play consisting of a fixed number of players whose sequence of moves is repeated, or iterated ad infinitum. Each sequence corresponds to a single iteration of the play, where there are an infinite amount of iterations. There are two distinct concepts within this broad definition which encompass a...
متن کاملSymbolic Algorithms for Infinite-State Games
A procedure for the analysis of state spaces is called symbolic if it manipulates not individual states, but sets of states that are represented by constraints. Such a procedure can be used for the analysis of infinite state spaces, provided termination is guaranteed. We present symbolic procedures, and corresponding termination criteria, for the solution of infinite-state games, which occur in...
متن کاملDeconstruction of Infinite Extensive Games using coinduction
April 28, 2009 – 15 : 13 Abstract. Finite objects and more specifically finite games are formalized using induction, whereas infinite objects are formalized using coinduction. In this article, after an introduction to the concept of coinduction, we revisit on infinite (discrete) extensive games the basic notions of game theory. Among others, we introduce a definition of Nash equilibrium and a n...
متن کاملVariational Principle and Plane Wave Propagation in Thermoelastic Medium with Double Porosity Under Lord-Shulman Theory
The present study is concerned with the variational principle and plane wave propagation in double porous thermoelastic infinite medium. Lord-Shulman theory [2] of thermoelasticity with one relaxation time has been used to investigate the problem. It is found that for two dimensional model, there exists four coupled longitudinal waves namely longitudinal wave (P), longitudinal thermal wave (T),...
متن کامل